Skip to content

Feat/filtered merged prs#268

Closed
oorjagandhi wants to merge 3 commits into
chains-project:mainfrom
oorjagandhi:feat/filtered-merged-prs
Closed

Feat/filtered merged prs#268
oorjagandhi wants to merge 3 commits into
chains-project:mainfrom
oorjagandhi:feat/filtered-merged-prs

Conversation

@oorjagandhi

Copy link
Copy Markdown

Contains 2 scripts and the output:

  1. filtering for PRs that contain test failures
  2. taking the above then filtering those that merged

@frankreyesgarcia

Copy link
Copy Markdown
Member

@oorjagandhi Thank you for your contribution.
To keep the repository organized, could you please explain the purpose of the PR in more detail? The information can be integrated into the existing JSON files.
You can create a new PR with this new approach.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants